let mk_fout_assigns_id x = mk_prop PKAFctOut (Property.IPAssigns x)