satisfies abstract method

dynamic satisfies(
  1. dynamic x$2
)

Implementation

dc.dynamic satisfies(dc.dynamic x$2, );