More test cases for trade_spec and user_spec