don't try to constrain non-variable arguments for rules in type analysis
don't try to constrain non-variable arguments for rules in type analysis
hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror