Context-Aided Variable Elimination for Requirement Engineering