Removing Keywords in contracts during the composition
Extended FSTTerminal -> stores the contract composition keyword now