Prefixed variables are not allowed in patterns