avoid type inference for jtvp rules