Simulate function redefinition in 2 CBN testcases
Merge branch 'StableBranchWithTestcases' of https://github.com/lukechurch/designscript into JunStableBranch1
Merge pull request #149 from junmendoza/JunStableBranch1

function redefinition in new CBN testcases