[ issue 1290 ] fixed by checking for definitions by copatterns
[ issue 1290 ] test case
Merge branch 'maint-2.4.2'
[ LANGUAGE pragma ] Fixed indentation
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'upstream/master'