istar: Initial stub for backward analysis

 * Add stub for REJ14 operator
 * Add some operator util functions into the operator class