Do not fail generalization for input or unspecified variables