fk pose test works, but have to think of how to deal with local and global computational states. Should they be separate parameters. Consider different composition semantics which uses function parameters, rather than return values