Simplify formal arg constraints