MarkovJunior: Probabilistic PL based on pattern matching and constraint prop