More unit tests
Update and fix rational expression module