Many modern naturalistic philosophers see no impenetrable barrier in deriving ought from is, believing it can be done whenever we analyze goal-directed behavior.
It is the ability to analyze novel problems, identify patterns and relationships that underpin these problems and the extrapolation of these using logic.
Version 0.6 introduced scalability improvements which repeatedly analyze larger versions of a program (in addition to the mentioned techniques), until it is fully analyzed.