Implemented 'to be finite' and 'to be infinite' assertions.