On Loop Formulas with Variables