Factorial - Solidity Typing CST Test