support goal expansion of in/2 in SWISH