modify some expressions in Test'sspec
add Assertion's spec and rough implementation