[ 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
Merge branch 'maint-2.4.2'