functions with compound parameters are never const in firm