Add multiplication support to attribute parameter evaluation#205

sim642 merged 3 commits intogoblint:developgoblint/cil:developfrom

jprotopopov-ut:attr-param-mult-1jprotopopov-ut/cil:attr-param-mult-1Copy head branch name to clipboard