Sinrd Circuits Analysis with WCIP