Bug with double learning with virtual Literals fixed!