Head added to Alternate
checks for binar and unary rules moved to Alternate.
Two level filtering works for the grammar of FilterTest1