Teach SpecConstr how to handle mutually-recursive functions