fixing bug (#12) ... encoding constant/wildcard patterns