Adding new test file and adding XFAIL to existing known bug test
Fixed duplicate fn-param inferred substitution bug.
This bug revealed by Stephen caused a duplicate substitution to be inferred
at a function call for a function parameter and to be applied twice onto the
function's effect summary.