add jump rule for spec <-> lib