define parameterized calls for synth and impl rules