Fixed the rcp() testcase for new assumptions (x is positive)