RULES: "SPEC $cm @()" [0]
 RULES: "SPEC f @Bool @() @(Maybe Integer)" [0]