[ issue 1269 ] Removed test case using postulates
[ issue 1269 ] Added test case

Case: quote η-reduced and quoteTerm η-reduced
[ issue 1269 ] Added test case

Case: quote η-reduced and non η-reduced